Nuprl Definition : eclbase
0,22
postcript
pdf
eclbase(
k
;
test
) == inl(<
k
,
test
>)
latex
Definitions
inl(
x
)
,
<
a
,
b
>
FDL editor aliases
eclbase, eclbase
origin